Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
931	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
932	Documents de Travail du Centre d’Economie de la Sorbonne Ordered Weighted Averaging in Social Networks Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 16:57:57 Weighted mean FO Economic model Applied mathematics Ordered Weighted Averaging (OWA) Aggregation Operators Owa Mathematics Logic
933	National Council for Voluntary Organisations Campaigning Effectiveness Campaigning for change: Learning from the United States Add to Reading List Source URL: www.ncvo.org.uk Language: English - Date: 2013-11-21 09:07:27 Science Public administration Systems analysis Impact assessment Advocacy evaluation Logic model Civil society campaign Policy analysis Economic model Evaluation methods Evaluation Sociology
934	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
935	PDF Document Add to Reading List Source URL: www.southeastevaluation.org Language: English - Date: 2014-12-13 01:58:28 Sociology Ethics Program evaluation American Evaluation Association Logic model Office of Program Policy Analysis and Government Accountability Empowerment evaluation Evaluation methods Evaluation Impact assessment
936	E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985. Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:51 Year of birth missing Actor model Concurrent computing Logic programming Prolog Barbara Jane Liskov Programming language Indeterminacy in concurrent computation Keith Clark Computing Software engineering Computer programming
937	Table of Contents Message from the Chairs...................................................................................................................... xv Organizing Committee..................................... Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Fuzzy logic Mathematics Logic in computer science Computational neuroscience Neuro-fuzzy Neural network Fuzzy control system Agent-based model Harmony search Artificial intelligence Science Logic
938	International Journal of Advanced Logistics, 2014 Vol. 3, Nos. 1–2, 10–16, http://dx.doi.org2287108XMAS-based control in industrial controllers Javier de las Morenas, Andrés García Higuera* an Add to Reading List Source URL: www.ecitl.eu Language: English - Date: 2015-01-12 06:48:51 Automation Science Industrial automation Artificial intelligence Programmable logic controller Control engineering Deliberative agent SCADA Agent-based model Multi-agent systems Technology Computing
939	Introduction Sometimes it happens in mathematics that, investigating some branch, some area of mathematical objects, we are forced to introduce new kind of objects which were not originally presumed to exist. There is a Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:49:59 Logic Model theory Infinity Real closed field Ultraproduct Zermelo–Fraenkel set theory Internal set theory Set theory Foundations of mathematics Mathematics Non-standard analysis Mathematical logic
940	Global behavior of a plant-herbivore model Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Set theory Dynamical systems Curry–Howard correspondence Proof theory Type theory Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers

UPDATE